Dvd - Lecture 3: Logic Synthesis - Part 1